Random Walk with Continuously Smoothed Variable Weights
نویسنده
چکیده
Many current local search algorithms for SAT fall into one of two classes. Random walk algorithms such as Walksat/SKC, Novelty+ and HWSAT are very successful but can be trapped for long periods in deep local minima. Clause weighting algorithms such as DLM, GLS, ESG and SAPS are good at escaping local minima but require expensive smoothing phases in which all weights are updated. We show that Walksat performance can be greatly enhanced by weighting variables instead of clauses, giving the best known results on some benchmarks. The new algorithm uses an efficient weight smoothing technique with no smoothing phase.
منابع مشابه
A Random Walk with Exponential Travel Times
Consider the random walk among N places with N(N - 1)/2 transports. We attach an exponential random variable Xij to each transport between places Pi and Pj and take these random variables mutually independent. If transports are possible or impossible independently with probability p and 1-p, respectively, then we give a lower bound for the distribution function of the smallest path at point log...
متن کاملApplication of Multi-objective Optimization for Optimization of Half-toroidal Continuously Variable Transmission
Among different goals defined in vehicle design process, fuel consumption (FC) is one of the most important objectives, which significantly has taken into account lately, both by the customers and vehicle manufacturers. One of the significant parameters which impacts the vehicle FC is the efficiency of vehicle's power train. In this paper, a half-toroidal continuously variable transmission (CVT...
متن کاملPortfolio Rebalancing Error with Jumps and Mean Reversion in Asset Prices
We analyze the error between a discretely rebalanced portfolio and its continuously rebalanced counterpart in the presence of jumps or mean-reversion in the underlying asset dynamics. With discrete rebalancing, the portfolio’s composition is restored to a set of fixed target weights at discrete intervals; with continuous rebalancing, the target weights are maintained at all times. We examine th...
متن کاملZeno's Walk: a Random Walk with Refinements
A self-modifying random walk on Q is deened from an ordinary random walk on the integers by interpolating a new vertex into each edge as it is crossed. This process converges almost surely to a random variable which is totally singular with respect to Lebesgue measure, and which is supported on a subset of R having Hausdorr dimension less than 1. By generating function techniques we then calcul...
متن کاملA Random Walk Approach to Selectional Preferences Based on Preference Ranking and Propagation
This paper presents an unsupervised random walk approach to alleviate data sparsity for selectional preferences. Based on the measure of preferences between predicates and arguments, the model aggregates all the transitions from a given predicate to its nearby predicates, and propagates their argument preferences as the given predicate’s smoothed preferences. Experimental results show that this...
متن کامل